Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท4hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Languages
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.orgยท15h
๐Ÿ”ML Language
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.comยท3hยท
Discuss: r/reactjs
๐Ÿ“šStack Languages
GaloisInc/parameterized-utils
github.comยท2d
๐Ÿ“Linear Haskell
Replacing the Type Checker for the Swift Compiler
forums.swift.orgยท1dยท
Discuss: Hacker News
๐Ÿฆ‰Swift Interpreters
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
โœ…Type Checking
From CAP to GAP?
fsharpforfunandprofit.comยท12hยท
Discuss: DEV
๐ŸงชTesting Compilers
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐Ÿ”„Incremental Lexing
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros